#ifndef _KSEM_H_
#define _KSEM_H_

#include "types.h"
#include "loader.h"
#include "semaphores.h"

typedef sem_t ksem_t;
typedef sem_trylock_t ksem_trylock_t;

void lock_ksem(uint32_t data);
void unlock_ksem(uint32_t data);
void trylock_ksem(uint32_t data);
void ksem_remove_process_from_queue(pcb_t *process);

#endif
